Stichworte: relevant assertions